Fix some typos in the internal compiler documentation