A bug report