Fix an incorrect hardcoding