Ben Pace comments on Jimrandomh’s Shortform

[Ben Pace]

Thank you for the correction.