Minor doc improvements