Fix doc mistake