small typo after merge