El comandante de la flota de la Mina parece haber sido el barcelonés Juanoto Boscá, y no Pedro de Covides como afirma Del Pulgar.