Fix bug in help and calltips