Revert line changed by accident in c605d5b64337b4ec118320e3fc691a59cbb99d8d, refs #1447