Oups, I don't see this line, effectively it can be removed, it's not needed from long time (2012-05-24) !