Minor doc changes