Add a link to the bug-reports (cc #13).