Example was broken; fixed