documentation and other small fixes