Fix hack for help()