made valgrind happier