[JRG] Correction N(0,8) --> N(0,7)