Fixed the bug that was causing the following printk: