inftheory: fix outdated value