Removed useless code (it does not affect output, at least on our testcases)