Slight tidying up of documentation