Updated to MSpec 0.5.16