Fix a bug found by g++ 4.3, and comment out the method, because it's never used anyway