Add: a minor improvement to webdemo for printing to stderr.