Update docs, other small fixes.