Updating BUGS and MANUAL.md.