Use of a correlation ID in logging