Small corrections with repo protocol