Redundant comments deleted.