fix minor mistakes 1.37 and 1.39