minor format improvement for profile logging