More minor formatting/editorial fixes for the manual.