Tribler/tribler — pull request #406 by NielsZeilemaker (2014-01-24 19:25:29+00:00)
Title: Small devel fixes

Fixes two problems reported by Johan