Added a bug to BUGS.txt