minor fix to avoid valgrind warning