Is this really correct? Shouldn’t be the default case just throw some error?