typo in 7.1.4, close #407