fix translation of gtimer's arguments