juga0 fixup! fixup! Fix definition of Value