Minor corrections and clarifications to the documentation