(try to) fix buffer overflow in test