minix fix for print methods