Fix an example where we weren't doing case-of-case when we should