Avoid format-security warning (issue #8).

Fixes #8.