Fix a bug with no options