Updated docs; small codegen tweak