Fix the minimal example