modify minix.html