minor formatting

minor formatting