Clean up after someone's curious idea that it'd be good to strip

leading zeroes from the SQLSTATE codes.  They're strings, people,
not numbers.