afsd: correct printf format mismatch in debugging printf