more ubuntu edits

diff --git a/_manual/03_setting-up-your-system/08_platform-specifics/01_ubuntu-linux.html b/_manual/03_setting-up-your-system/08_platform-specifics/01_ubuntu-linux.html
index 455ee707e5ba798d7e55ffdd2a8b13e2a4e9864b..6a0331aa7732bbe1b6c5a06d9e25eae7afd9eb3a 100644 (file)
--- a/_manual/03_setting-up-your-system/08_platform-specifics/01_ubuntu-linux.html
+++ b/_manual/03_setting-up-your-system/08_platform-specifics/01_ubuntu-linux.html
@@ -6,7 +6,7 @@ title: Ubuntu Linux
 <p>
   Ubuntu Linux is the most popular variety of Linux in use on desktop
   and laptop systems. It has the backing of a for-profit corporation
-  (Canonical Inc.) behind it, a defined philosophy and a huge and
+  (Canonical Inc.), a defined philosophy and a huge and
   worldwide user base. As a result, it is a common platform for people
   who want to use Ardour and other tools for music creation and
   pro-audio work.