fix format string in main