Some revisions on high-level inversion.