Fix for undefined badges error