line 3765 and line 3762 look identical