Minor change to the field access proof