Eliminate dead code that I missed in my last commit