Comment by hansvm

I misread the thing be was replying to and thereby misinterpreted his reply. I've missed the comment deletion window though.