Fix error in help files: