Small fix to remi repo.
Another small remi repo fix.