Updated to Mantle 1.4.1. Fixed test cases.