forgot another travis CI command