Fix a type in section 2.14.2, close #442