Fix a compile error caught by bb-chapuni.