fix checkout of docs