I'm not sure we want to print to std err. Not sure what to do though...