Add a comment explaining file_readable