A few single line comments were duplicated, probably due to bad merges. This commit removes the obviously duplicate ones.