removed obsolete bugs from BUGS file