Misc doc improvements