Fixed: changing one line to facilitate wiki writeup.