Update BUGS.txt