Bug report in bugs.txt