fixed an unimportant memory leak