fix #637 left in debugging