fix memory leak in encodeWithCoder: