My previous change to incorporate the GR results failed to close the unordered list in section A.3. Fix.