Fixed a few typos for verification