Rename variables in the observed spec for readability