Fix left over of previous merge.

Pb reported by F. Keith.