Small fix

Sorry, the last merge is not sane. One small error was left