small fix on repo page