Minor renaming.