sonet: fix invalid printf format