documents, and small fixes