fix typo in bugs.h