Minor improvements to logging for servlets