Correction: in the order-restricted hypothesis tests, the proportion of posterior samples in accordance with the restriction should have been multiplied by two.