fixup Referenced readme in cprover docs

Co-authored-by: Peter Schrammel <[email protected]>

Author: Thomas Kiley

doc/cprover-manual/cbmc-tutorial.md

@@ -139,10 +139,10 @@ possible output format.
 
 The specification of the XML trace output can be found here: [XML
 Specification](../assets/xml_spec.tex)
-and can be build by `pdflatex -shell-escape xml_spec.tex`. See the [README
+and can be built by `pdflatex -shell-escape xml_spec.tex`. See the [README
 ](../assets/README.md#xml_spec.tex) for details.
 
-Alternatively, you view it in [Markdown](../assets/xml_spec.md).
+Alternatively, you can view it in [Markdown](../assets/xml_spec.md).
 
 ### Verifying Modules
 
@@ -350,4 +350,3 @@ comes with a small set of definitions, which includes functions such as
 
 We also have a [list of interesting applications of
 CBMC](http://www.cprover.org/cbmc/applications/).
-