testcase and fix for #57