Actually not, the commented line should have been erased. I will wait for the rest of your comments and push a fix to all at once.