fix documentation bug 2432