* Fixing mistakes and invalid sentences.
* Small fixes in implementation and appendix chapters.