Small formatting changes in javascript file