Minor correction to documentation