small fix after merge.