s4: fixed some printf format errors