Minor Javascript syntax change