fix a bug in line #94