Small style issue: for new code, using `format()` instead of `%