Fixes issue #879. Console enhancements.