A few syntax/typo fixes