fixed a minor bug in the output of a logging file