Minor yet vital fixes to configuration script