Remove unused (abandoned) chunk of code that snuck into previous commit.