Slight update of documentation