Clarify the spec slightly.

And, importantly, fix a lingering naming issue.

Change-Id: I2b0d2008aae32679430910dfe5fa58a86f0a59df
1 file changed