Further documentation tidying