remove some cruft in comments