This should be redundant with respect to line 555.