Fix the "hash synchronization" message (see #5447)