A bug was fixed.