simple small bugfix