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