Fixing a bug involving console output