fix syntax for additional printk