few editorial fixes