Fix doc introduction