Minor JS formatting tweaks.