Typo fix that got lost in merge.