Fix some mistakes spotted by @depierre
Fix some mistakes spotted by @depierre

Also known as depierre-the-pendantic-who-has-the-commit-bit-bu
-who-is-to-lazy-to-fix-it-by-himself.

SecuRT/securt.github.io,securt2018/securt2018.github.io