args() doc: Fix a documentation line.

Catch a missed triple-slash in the docs for `std::os::args()`. Passes `make check`.