Small bugfix that came with previous commit