Fixed a few typos in simple type annotations