Fix possible (not really important) resource-leak