Small documentation changes...

Small fixes to the documentation.