(comment cleanups)