7.87: fixed.