Fixed the minimal example