Cryptic comment #1013

No, indeed it was a good thing.