Version 017-20170106:  
R802: rule updated;
R808: new rule: correction on section VII is not allowed, no corrigendum on F14 and F20.
