Deduccion irpf

¿Podrian decirme si es correcto que a mi marido le hayan echo la deduccion de 200 euros en la paga extra de junio,en lugar de en la nomina de junio?Lo digo porque la extra ha sido de 892.17 euros ,le retienen el 13%,con lo que de deduccion le han aplicado cero,pero en realidad el 13% de 892.17 son 115.98 €. Si le hubieran aplicado la deduccion en la nomina de junio,la base para IRPF habria sido 2038.04 con lo que el 13% seria 264.95.Yo entiendo que como maximo,ya que han de deducir 200 euros ,en lugar de retener el 13% en esta nomina ,deberian retenerle el 3.3%(puesto que es la diferencia entre el 13% y el 9.8%),ya que el 9.8% de 2038.04 son 199.7 euros.¿Es asi?Gracias.
.