Bugfix to make valgrind happy.