fix typos and add list of innovations, unit tests in appendix