Minor: removed dead code.