Fix HoTT syncing issue with receiver on startup.

Fixes issue #295