Minor JScript formatting