Make example more precise