yet another small bugfix