A few minor documentation updates