the example actually works