Updated to MSpec 0.9.0