minor clean-up.