A few more editorial fixes.