Various improvements/clarifications to documentation