Updated to MSpec 0.5.12