Fix a couple of typos in the reference manual