minor formatting improvement