Updated BUGS.txt