A few changes to documentation