Fix autotbl.fmt link in 2 places