adjusted docs after #5217