New options to fix a bug reported by a user