fixed formatting of printk