missing parentheses in proof of 5.8.2, close #376