minor javascript changes