[COMMIT] Incorporate Fabrice's fix of my buffer overrun bug