Updated Mantle to version 1.3

Fixes #6