Tweak the top-level comment hopefully for the better.