(doc) little console example improvement

Ditto.