A little clean-up for submission