small bugfix...