Fix Krace's name.