D-CTF 2014: fix typo in misc400