Fix docs for testing in GitHub