Fix untested side effect example