fix problem spotted on travis