merge change from doc to basewiki while removing an introduced duplicate