minor fix in docs