Add bug to BUGS.txt and TODO.txt