Minor change in console.html