Make the case clause a catch-all, not a catch-none