fix printf
make it work