Rename and reformatted BUGS list. Comment added in README.