Small modifications to the js generation scripts