Fix formatting error introduced in cc585c8.