Minor changes after readthrough (typos, etc.)