a very minor correction