main.py: fix broken printf format specifier from 4e4a4694d2