fixes for printf