Fix a bug in the replaced \value