Updates to MireDot 1.3 and improves code formatting.