regexp bug test case (now fixed)