Pedantic renaming.