Remove the deprecated isGenerated flag (see #56)