minor nonfunctional formatting