Actually provide a format string