These messages should not go to stdout.