Documents koch

Also fixes minor documentation issues.