Fix 8.5.2 part(b). close #12