Fix breakage detected by travis-ci (why did this work locally)?