fix #533