Minix fix up