symbol: a minor style fix.