minor fix to doc