slight formatting changes in comments