hevea: fix printf formats