Updated to MSpec 0.8.0