De hecho, los intentos de Bardem de llamarlo José o Miguel fueron rechazados por la censura.