Minor tweaks to server logging