minor formatting/comment fixes