Small fix to make sure things pass on Travis