Problem fixes

Fixed problems I came across during CSS15CTF.