Just a minor correction