one last small bugfix