A bug has been fixed.