minor fix in doc