fix a cosmetic bug in console.log