Fix the mangled documentation for #generate