Fix a minor POD error introduced by the merge.