Minor format specifier issue which wasn't portable, broke compilation