check syntax on travis ci