A bug found