(small code clean-up)

no real changes