Further documentation changes (sorry!)