Fix type in DoublePendulum.js on update function