minor formatting improvements