Fix typo in type.html