That seems to be a minimal working example.