This is redundant with line 11.