this is a tiny addition to general option, i don't see why it would justify a minor release bump