Fix syncing issue with receiver on startup.
Merge pull request #296 from sjwilks/hott-init-fix

Fix HoTT syncing issue with receiver on startup.