Fixing a bug with no user configuration