fix travis, #1