Fix rounded format specifier; fixes #1042.