pulse: fix printf format in some debugging messages