fix #442