silly typo in Core Frank application typing rule