more printk, some housekeeping