Fixed the HEAD thing in travis