small fixes
fix bug with String.format