#513: fix test