Fix the front-page example for integer inference changes.