small fix, no version update

Sorry, as always, small problems are found just after the first release.