Fix issue #203 (regenerated js files)