Fix up info file