Fix minimal example