jerry2 replace : to ->