• Fix format exception that has been introduced in commit 8141.