Fix a bug introduced in the last change.