Fix bug with the option names