Yet another repo fix