Fix bug with help documentation