Remove extra BUGS section.