Changes to the docs
Typographic changes
Removed unused symbol name