fix proof of 4.8.3, close #359