Various small documentation changes