some editorial fixes