fix bug in line 137