minor fix in docs.