fixed a couple documentation bugs