Added free for correctness