A bug resolved