The specification may be renamed, in which case we should update our references to it in chapter 1.2.7.