minor extension of documentation-page