small fix to doc