f-35 helmet bug