fix test case for #5