various small fixes, documentation refresh