Delete commented-out code.

As discussed in #347.