use clearer syntax for denoting user-supplied values