Updated BUGS and TODO.