these could optionally go to a log file. Not sure where though.