I do not know whether or not it was ok to remove that line. This comment is there to raise attention on that point.