[1] También aparece escrito Ventor, Bentore o Bentorey.
Sin embargo, esta era la grafía original del nombre Bencomo, tal y como aparece en documentos contemporáneos a los hechos.
[3] Bentor fue, como queda dicho, hijo de Bencomo.
Del resto de su familia se conoce por los documentos de la época la existencia de, por lo menos, dos de sus hijos: un varón que fue hecho esclavo y una mujer que intentó liberarlo, aunque no se conservan sus nombres.
[4] Bentor participó junto a su padre Bencomo en los enfrentamientos que tuvieron lugar durante la conquista de la isla.