fixed the latest bugs in BUGS.txt