Minor example correction, I think