Avoids leak warnings. Fixes issue #4.