Fix an old bug