Typo in points about types