Small fix + add reference
First pass: rig etale and principal ideal case