Fix syntax errors in value_for_platform