mention where BUGS are and how to report bugs