[[ Bugfix 11191 ]] Fix a buffer overrun

Still doesn't seem to be the source of the error, unfortunately...