Remove a couple of commented-out things