Some typos in aforementioned tests.