a minor correction