a tiny fix in the generated README