proper header for close()