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 5bb6b4a9..83b181bd 100644
--- 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
@@ -119,7 +119,7 @@ title: Ubuntu Linux
   The specific issues known at this time (spring 2013) are:
   <ul>
     <li>a bug in PulseAudio that causes it not to give up the
-      soundcard when JACK asks</li>
+      soundcard when JACK asks (<a href="https://bugs.launchpad.net/ubuntu/+source/pulseaudio/+bug/1163638">LP: #1163638</a></li>
     <li>bad package dependency information that causes a critical
       package to be missing even when JACK and PulseAudio are
       installed</li>