minor javascript addition