Belatedly update the version number in plugin.yml