extra paren in snprintf()