Fixed format specifier in header output