failing tests for #7288