r146: fixed an unimportant memory leak