symbolfactory: Avoid unused-variable warning