Add arguments to String() result

Fixes #3.