fix documentation bug