The 9 lines above were removed recently; it's dead code.