Minor docs update

it might be used.