3.16: correct cache terminated case clause