Minor technical correction to documentation.