small fix after merge mistake