printk formatting fix