fix small doc issue