Improved formatting in configure.sh.