a minor clean-up