Fix #76; global leak.