console: catch help()