fixes #30: error message for "too few switch cases" is wrong