fix bug in -->