fix printk's