Fix knuth url again