Small fixes in libraries/console.rst