small bugfix, no version change