Just some minor documentation changes