Minor bug in "reload" patch: Some output to stdout was supposed to
go to stderr.