Fixed a typo, but now things are strange.
Merge branch 'master' of https://github.com/PermuteSeminar/PermuteSeminar-2014