Fix the def