small modifications to value.c
merging