minor clean-up;