Fix trivial_case