Some slight doc improvements