documentation: remove redundancies