Update JavaScript version; misc. fixes