Add a couple missing va_end() calls