hopefully fixed laf problem in test cases