Minor corrections of tests