Fixing a bug introduced just before the release