Minor bug in console output

Fix minor bug in console output.