Minor cleaning in Mantle.java