Change the clause separator in case to ; to avoid ambiguity