Sometimes supplied log files don't seem to include the expected content, but it's not clear whether the wrong categories were selected or something is wrong with the logging. It'd be useful to include the log categories are the top of the log when we print the header.