More minimal example of the problem