remove spurious console.log().