fixes a missing test cases; #5