adjustments to the doc tests