Small example fix