updates to match changes in console.dart