fixed a major bug introduced in r456 (segfault on core exit)