fix a bug in line #6