Minor tweak to info output