Updated BUGS.txt.