A few revision updates