I think we should omit this line altogether