minor formatting...