One small fix