some minor editorial clean-up