Update production js.  Should fix #80.