Can you help me understand the file input w/ /dev/null ?