Redundant comment resulted from copypasta.