Minor javascript style fixes