missed a few printf format statements referencing tagints