message: Print uses a newline
diff: @@ -62,5 +62,5 @@ Miscellaneous
  -------------
  * `id`: A type-insensitive identity. Takes one argument, which is a variable of any type, and produces the same value (which must have the same type, obvi).
  -* `print`: Output values to the console. Takes any number of arguments of any type and does not produce a result.
  +* `print`: Output values to the console (with a newline). Takes any number of arguments of any type and does not produce a result.
  * `nop`: Do nothing. Takes no arguments and produces no result.
  