fixups: addressed review commens from Jens

Author: joshuaberne

source/declarations.tex

@@ -4526,7 +4526,7 @@
 \pnum
 Each \grammarterm{function-contract-specifier}
 of a \grammarterm{function-contract-specifier-seq} (if any)
-of an unspecified first declaration  %JMB: Should we xref basic.def?
+of an unspecified first declaration\iref{basic.def}
 of a function
 introduces a corresponding function contract assertion for that function.
 The optional \grammarterm{attribute-specifier-seq}
@@ -4713,13 +4713,13 @@
 as the name of a \defn{result binding}
 of the associated function.
 If a postcondition assertion has a \grammarterm{result-name-introducer}
-and the return type of the function is $cv$ \keyword{void},
+and the return type of the function is \cv{} \keyword{void},
 the program is ill-formed.
 A result binding denotes
 the object or reference returned by
 invocation of that function.
 The type of a result binding
-is the return type of its associated function\iref{stmt.return}.  %JMB: I'm not sure about this xref.  Maybe it should be on the previous sentence
+is the return type of its associated function
 The optional \grammarterm{attribute-specifier-seq}
 of the \grammarterm{attributed-identifier}
 in the \grammarterm{result-name-introducer}