DOctest fix