A bug is found.