[timdettmers]

Thanks for your feedback! Someone mentioned this on twitter as well and I thought it was a good point so I implemented that change.

[fermienrico]

Thanks for being receptive. I wouldn’t call it a “good point” if it was a mistake that was corrected.