minor tweak

a minor change