minor formatting and syntax nits