Prune commented-out code; #983