fixed minor documentation bug