fix printf spec