Minor additions and corrections to documentation