Fix for bug#129 core dumps