Fix a warning introduced by the boehm toggleref code.