Edit BUGS.txt