Fix a buffer overflow that did not have any effect.