synax fixes from travis