Remove spurious line from commit 10130188