a bug has been fixed