Replace the deprecated string concatenation in this rarely-touched file...