These three lines should not be here.