Fix a few js formatting inconsistencies