Minor cosmetics in ".bat" files.