Qiaochu_Yuan comments on [SEQ RERUN] Harmful Options

[Qiaochu_Yuan]

Aha. Thanks for the correction.