fix DocTest setup