@@ -197,7 +197,7 @@ Congratulations, you may now use Cockatrice!
\subsubsection{Linux and BSD}
The following procedures have been tested with Debian Wheezy, Fedora 18 and FreeBSD 9.1.
If you use Gentoo with KDE you have the needed prerequisites and may continue with downloading the source.
If you use Bodhi or Arch Linux or another distribution that includes Cockatrice, you might install Cockatrice from the default packages -- though the package might be old,
If you use Bodhi or Arch Linux (AUR) or another distribution that includes Cockatrice, you might install Cockatrice from the default packages -- though the package might be old,
so you probably should continue with this howto.
Before you install new software, you should update your system. The following instructions failed on a fresh installation of Fedora 18 and FreeBSD 9.1 until the systems were updated.
