Corrections to line 7