(travis) Forgotten bit while reverting f207111d6 (goes with 0d383895)
Throwaway entirely