Updated to MSpec 0.8.3