re-test to fix #822