see previous commit, small bugfix