Handle unknown options

    This makes the pattern matching exhaustive.