Typos in comments

<+> instead of <->