This case is already contemplated in line 6 (7 on the modified file).