make sure switch statements cover all cases