Plaid CTF 2014: minor formatting tweaks