mmm-bat.sh: Fix for coding style.