Somehow a line got repeated

Probably won't cause problems, but clearly a bug.