change 'Micro BOSH' to 'MicroBOSH' in index.html