Fix broken `@post_generation` example in docs.