Jason Merrill Tue, 12 Nov 2013 07:51:42 -0800
Please add a comment citing 13.3.1.1. OK with that change.
Jason