dslab-epfl/s2e — pull request #17 by DonDiego (2013-01-29 11:09:50+00:00)
Title: Misc fixes

Here's another branch for you to review and possibly pull. It contains a small collection of miscellaneous fixes.