Fixed an duplication error that appeared in a recent merge.