Some small corrections regarding the tests