#479 Minor JS coding style fixes