Fix the symbol value spec