Further documentation changes