Fix bad syntax in value_for_platform

docs was bad with me :)