minor style change in logging