Add a comment on Value explaining the current getName() behavior.