minor fix in help doc