This field is actually never used, AFAICS. What is it meant to do?