very minor English fix