Yet another case fixup