Small extension of documentation