added a BUGS file