minor formatting modification