This line can be removed. In fact, the whole file can be reverted.