Correctness - close() invoked on a value that is always null