Deleting a line according to #12.