A couple of minor fixes in the manual