--- a/docs/README-macosx.md	Fri Jun 24 22:17:56 2016 -0400
+++ b/docs/README-macosx.md	Sat Jun 25 19:40:02 2016 +0200
@@ -227,4 +227,4 @@
         Functionality may be added in the future to help this.
 
 
-Known bugs are listed in the file "BUGS"
+Known bugs are listed in the file "BUGS.txt".