Bug fix: case-study  side-effects4 was broken.