Fix a subtle order-of-initialization bug.