small bugfix

Found a bug on ubuntu, going back to windows...