fixup notation.