Fix small doc mistake

Either...