minor formatting changes found after last push to github