minor changes to console debugging helpers