#523: fix test