updated reproduce #437