Error detected by Travis corrected: include missing