Minor errors in documentation