tweaks on knuth