Fixes broken repOk function