Minor documentation changes

Fixed. (that was a badly configured ace-jump)