Fix some typos and changes that were forgotten