I left it for debugging purpose, but it is apparently unnecessary. Fixed.