Fix a braino leading to buffer overflow