fix travis #3