minor docu update
Small docu update