A bug has been fixed