Small bugfix that shouldn't affect anything