Slight fix of documentation.