Fix a minor bug with respect to logging information.