Minor document update.