fix type in help page