minor: use $log.info, rather than $log.debug, since the latter is undocumented