Correcting some very random segfault