add a bug report and a corresponding test, so the bug gets fixed before the next release