Delete BUGS.txt~