make valgrind happy (for now)