a minor change to remove a warning.