added tests to check fix of #4381