Revision ee72a98dcea1b0ac19d75e5c97d6d59017e2a9b3

Committed on 05/09/2013 3:11 am by Pedro Resende <[email protected]> [GitHub Diff]

Various fixed