These two lines should not be needed.