Small fix

Though I'm not sure it's a fix