Updated to MSpec 0.5.15