bernstein.cc: fix printf format