A bug was fixed