doc: remove repetition. closes #1424