Duplicate of line 7.