Some minor cosmetic changes to movcol.