minor fix: fixed printf type