Correct type in help and comment