fix docs for redex-generator