a few tweaks in examples for test execution in the README