Cosmetics: Initialize pointers with NULL instead of 0, for consistency