last-minute polish. Time to submit...