fix #578