Don't know if this is necessary due to line 34.