Tiny formatting improvement