Updated to MSpec 0.5.14