Fix small doc mistakes

It's not much :)