Fixing an developer bug