very minor console.log cleanup