Math ML example, typo