Added missing arguments to snprintf()

Fix #735