Fix small doc mistakes