fix 0x0 in formatString; fixes #1164