Fixed a few wrongly named test files