indentation tweak

(no functional change)