Fix broken import in docs about testing