Is there a reason for this assertion to write to `stdout` on fail rather than `stderr` like the others?  (Same issue in other files as well.)