For #1416: fix test after 74fb66e445558447dc082332ed0fccdcaf86b6ed
Rename