reverted numerical -> value rename, is cosmetic anyway