Fixed a couple of minor logging-function-related bugs in logging.js and playback.js.