Fix mistake regarding test file