Slight tidying in documentation