Avoid format-security warning (issue #8).