some repo fixes again