Corrected a small example error