fix Js compilation (for whatever reason)