Fix some typos and make verifying more secure