some fixes in javascript, new arrow