minor change in console output