Fixed issue in article 6.7.3 and a typographical error in article 5.7.