@mike-burns Is there a more standard way to echo an error message to stderr, or is this about right?