small bugfix. Nothing major