Edited some typos out of documentation.html