Tidy; remove redundant comments.