TM4C123GH6PM: Dead Band Width delay not changing

Hello,

I'm trying to control the dead band width of pwm in the code below, but the delay between the two LEDs lighting up doesn't seem to change no matter what I write in the function:  PWMDeadBandEnable(PWM1_BASE, PWM_GEN_3, 10000, 10000);  instead of 10000. Even if I write 0, or 65536. 

Thank you for your time in advance.

#include <stdint.h>
#include <stdbool.h>
#include <math.h>
#include "inc/hw_types.h"
#include "inc/hw_memmap.h"
#include "inc/hw_gpio.h"
#include "driverlib/sysctl.h"
#include "driverlib/gpio.h"
#include "driverlib/interrupt.h"
#include <inc/hw_ints.h>
#include "driverlib/timer.h"
#include "driverlib/pwm.h"
#include "driverlib/pin_map.h"
#include "driverlib/adc.h"
#include "driverlib/debug.h"

int main(void)
{

SysCtlClockSet(SYSCTL_SYSDIV_64|SYSCTL_USE_PLL|SYSCTL_XTAL_16MHZ|SYSCTL_OSC_MAIN); //3,125 MHz

SysCtlPeripheralEnable(SYSCTL_PERIPH_GPIOF);
SysCtlPeripheralEnable(SYSCTL_PERIPH_PWM1);

SysCtlPWMClockSet (SYSCTL_PWMDIV_64);

GPIOPinTypePWM (GPIO_PORTF_BASE, GPIO_PIN_2 | GPIO_PIN_3);

GPIOPinConfigure (GPIO_PF2_M1PWM6);
GPIOPinConfigure (GPIO_PF3_M1PWM7);

PWMGenConfigure (PWM1_BASE, PWM_GEN_3, PWM_GEN_MODE_DOWN | PWM_GEN_MODE_NO_SYNC);

PWMDeadBandEnable(PWM1_BASE, PWM_GEN_3, 10000, 10000);

PWMGenPeriodSet (PWM1_BASE, PWM_GEN_3 , 65535) ;
PWMPulseWidthSet (PWM1_BASE, PWM_OUT_6 ,32267) ;

PWMGenEnable (PWM1_BASE, PWM_GEN_3);

PWMOutputState (PWM1_BASE, PWM_OUT_6_BIT | PWM_OUT_7_BIT , true);

}