Fix compilation problem caught by Travis.