Small changes to io/console