Small one-line change.