Further documentation tidying.