Still having problems getting 80 Mhz back from SysCtlClockGet()

Using a Tiva TM4C1231H6PZI, 16 Mhz external oscilator.

I just changed over to TivaWare version 2.1.1.71 and used this code:

SysCtlClockSet( SYSCTL_USE_PLL | SYSCTL_OSC_MAIN | SYSCTL_XTAL_16MHZ | SYSCTL_SYSDIV_2_5); //Set 80 MHz

i=SysCtlClockGet();

I get 66666666 for i.

I thought this bug was fixed in the new Tivaware?  What did I do wrong?