Some minimal changes in help.lua