Another minor correction