fix documentation bugs