Remove spurious console.log, fixes #803