update BUGS.txt