Tests: rename misnamed file.