Sentinel: fix type specifier for Hello msg generation.

This fixes issue #1395.