Server: small logging enhancements (fixes #74)