#457 Fix comment text.

2 jobs for 457-more-general-invariants-checker in 0 seconds (queued for 36 seconds)