Misc. documentation fixes by Simon Dick.