Installation instructions and some formatting changes