Fix small doc mistake