Fix some typos
Update spec headers