Easy revisions from Karthik's comments