Fix GCC compiler warning.

There's only one parameter, so there's no need for a second %08x.