Fix an tiny bug.