Tiny bug fix

Still not the bugfix we need