Fixed a typo in a typing rule, MPS-19333