Might make sense to print to `$stderr`.