For #1705: Fix test after d58fa0780df51aafcedd6d77f7cdd4e863cb1048